/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#4=NGB25/FONT#5=STA200
␈↓ ↓H␈↓␈↓¬S␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓∧Telephone 415-497-1391␈↓ 	pJanuary 13, 1976
␈↓ ↓H␈↓∧or  415-497-4971



␈↓ ↓H␈↓Professor A. Joshi
␈↓ ↓H␈↓Computer Science Department
␈↓ ↓H␈↓Moore School of Electrical Engineering
␈↓ ↓H␈↓University of Pennsylvania
␈↓ ↓H␈↓Philadelphia, Pa. 19104

␈↓ ↓H␈↓Dear Professor Joshi,

␈↓ ↓H␈↓I'm␈α∩a␈α∩fourth-year␈α∩grad␈α∪student␈α∩in␈α∩Stanford's␈α∩CS␈α∪department.␈α∩For␈α∩my␈α∩dissertation,␈α∪I've␈α∩been
␈↓ ↓H␈↓working␈αon␈αa␈αprogram␈αwhich␈αcan␈αdevelop␈αsimple␈αmathematical␈αconcepts,␈αwhich␈αaims␈αat␈αexpertise
␈↓ ↓H␈↓in␈αtheorem␈α␈↓↓proposing␈↓␈αrather␈αthan␈αtheorem␈α␈↓↓proving␈↓.␈α It␈αuses␈αskills␈αfrom␈α␈↓↓automatic␈αprogramming␈↓␈αto
␈↓ ↓H␈↓tackle a ␈↓↓theory formation␈↓ task. An abstract of the project is enclosed.

␈↓ ↓H␈↓My␈α⊂committee␈α⊃consists␈α⊂of␈α⊂Ed␈α⊃Feigenbaum,␈α⊂Cordell␈α⊂Green,␈α⊃Bruce␈α⊂Buchanan,␈α⊂and␈α⊃Don␈α⊂Knuth.
␈↓ ↓H␈↓They␈α⊂have␈α∂suggested␈α⊂that␈α∂I␈α⊂write␈α∂you,␈α⊂since␈α⊂I␈α∂expect␈α⊂to␈α∂receive␈α⊂my␈α∂Ph.D.␈α⊂by␈α∂next␈α⊂Fall.␈α⊂I␈α∂am
␈↓ ↓H␈↓interested␈α
in␈α
a␈α
faculty␈α∞position␈α
for␈α
next␈α
year,␈α
and␈α∞would␈α
welcome␈α
the␈α
opportunity␈α
to␈α∞discuss␈α
the
␈↓ ↓H␈↓matter␈αwith␈αyou.␈αI␈αattended␈αPenn␈αfrom␈α1968␈αto␈α1972,␈αand␈αreceived␈αmy␈αB.A.␈αin␈αMath␈αand␈αPhysics,
␈↓ ↓H␈↓and␈αan␈αM.S.␈αin␈αApplied␈αMathematics.␈αThe␈αcourses␈αI␈αtook␈αin␈αyour␈αdepartment␈αmotivated␈αme␈αto␈αdo
␈↓ ↓H␈↓graduate␈α⊃work␈α⊃in␈α⊃Arti≡cial␈α⊃Intelligence␈α⊃rather␈α∩than␈α⊃continuing␈α⊃on␈α⊃in␈α⊃Math␈α⊃or␈α∩Physics.␈α⊃ The
␈↓ ↓H␈↓in∨uences of John Carr III and of Regina Bajcsy were particularly strong.

␈↓ ↓H␈↓I␈α⊃could␈α∩visit␈α⊃Penn␈α∩sometime␈α⊃this␈α⊃Winter,␈α∩perhaps␈α⊃in␈α∩February␈α⊃or␈α⊃early␈α∩March,␈α⊃to␈α∩discuss␈α⊃a
␈↓ ↓H␈↓position␈α∞for␈α
next␈α∞Fall.␈α∞ If␈α
there␈α∞is␈α
some␈α∞interest,␈α∞I␈α
would␈α∞be␈α
happy␈α∞to␈α∞give␈α
a␈α∞colloquium␈α∞on␈α
my
␈↓ ↓H␈↓dissertation research.



␈↓ ↓H␈↓␈↓ εSincerely,






␈↓ ↓H␈↓␈↓ ¬WDouglas B. Lenat